41. Dynamics in logistics
پدیدآورنده : edited by Hans-Jörg Kreowski, Bernd Scholz-Reiter, Klaus-Dieter Thoben
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Business logistics, Congresses
رده :
HF5415
.
7
.
L35
2012
42. ESPRIT '90 :
پدیدآورنده : Commission of the European Communities. Directorate-General for Telecommunications, Information Industries, and Innovation.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer engineering.,Computer science.
43. Electromagnetic Simulation Using the FDTD Method, Second Edition
پدیدآورنده : / Sullivan
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : ELECTRONIC|ENGINEERING, INDUSTRIAL& ENGINEERING (uncategorised)|ENGINEERING, ELECTRICAL &COMPUTER SCIENCE
رده :
E-BOOK
44. Encyclopedia of information technology curriculum integration [electronic resource]
پدیدآورنده : / [edited by] Lawrence A. Tomei
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع : Educational technology--Encyclopedias,Information technology--Encyclopedias,Education--Curricula--Encyclopedias
رده :
EB
,
LB1028
.
3
.
E63
2008
45. Encyclopedia of management.
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Industrial management, Encyclopedias.,Management, Encyclopedias.,Industrial management.,Management.
رده :
HD30
.
15
.
E49
2009
46. Environmental engineering papers [electronic resource] :
پدیدآورنده : American Society of Naval Engineers.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Environmental engineering.,Environmental protection.,Marine pollution.
رده :
TA170
.
A447
2006
47. European Symposium on Computer Aided Process Engineering--10 :
پدیدآورنده : organized by AIDIC, the Italian Association of Chemical Engineering ; edited by Sauro Pierucci.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Chemical process control-- Data processing, Congresses.,Computer integrated manufacturing systems, Congresses.,Chemical process control-- Data processing.,Computer integrated manufacturing systems.,SCIENCE-- Chemistry-- Industrial & Technical.,TECHNOLOGY & ENGINEERING-- Chemical & Biochemical.
رده :
TP155
.
75
.
E97
2000eb
48. European Symposium on Computer-Aided Process Engineering-15 :
پدیدآورنده : edited by Luis Puigjaner, Antonio Espuña.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Chemical process control-- Data processing, Congresses.,Computer integrated manufacturing systems, Congresses.,Chemical process control-- Data processing.,Computer integrated manufacturing systems.,SCIENCE-- Chemistry-- Industrial & Technical.,TECHNOLOGY & ENGINEERING-- Chemical & Biochemical.
رده :
TP155
.
75
.
E97
2005eb
49. European Symposium on Computer Aided Process Engineering--13 :
پدیدآورنده : edited by Andrzej Kraslawski, Ilkka Turunen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Chemical process control-- Data processing, Congresses.,Computer integrated manufacturing systems, Congresses.,Procédés chimiques-- Contrôle-- Informatique.,Chemical process control-- Data processing.,Computer integrated manufacturing systems.,SCIENCE-- Chemistry-- Industrial & Technical.,TECHNOLOGY & ENGINEERING-- Chemical & Biochemical.
رده :
TP155
.
75
.
E97
2003eb
50. Event Simulation-Conceptual Modeling for Discrete
پدیدآورنده : / Robinson, Stewart
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS|ENGINEERING, INDUSTRIAL|ENGINEERING, MANUFACTURING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
51. Expert Systems in Engineering Applications
پدیدآورنده : edited by Spyros Tzafestas.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Engineering economy.
رده :
TA345
.
E358
1993
52. Extreme man-made and natural hazards in dynamics of structures /
پدیدآورنده : edityed by Adnan Ibrahimbegovic and Ivica Kozar.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Hazard mitigation, Congresses.,Natural disaster warning systems, Congresses.,Structural analysis (Engineering), Congresses.,Structural dynamics, Congresses.,Hazard mitigation.,Hazard mitigation.,Natural disaster warning systems.,Natural disaster warning systems.,Physique.,Structural analysis (Engineering),Structural analysis (Engineering),Structural dynamics.,Structural dynamics.,TECHNOLOGY & ENGINEERING-- Structural.
رده :
TA654
.
N35
2006eb
53. Fog and edge computing :
پدیدآورنده : edited by Rajkumar Buyya and Satish Narayana Srirama.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Cloud computing.,Electronic data processing-- Distributed processing.,Cloud computing.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Electronic data processing-- Distributed processing.
رده :
QA76
.
585
.
F63
2019
54. Formal methods applied to industrial complex systems
پدیدآورنده :
کتابخانه: کتابخانه پردیس بین الملل كیش دانشگاه تهران (هرمزگان)
موضوع : Systems engineering Data processing,Systems engineering Computer simulation,Formal methods (Computer science)
55. Formal methods for industrial critical systems :
پدیدآورنده : Falk Howar, Jiří Barnat (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer Systems Organization and Communication Networks.,Programming Languages, Compilers, Interpreters.,Simulation and Modeling.,Software Engineering.,The Computing Profession.,Theory of Computation.,3D graphics & modelling.,Computer networking & communications.,Computer programs-- Reliability.,Computer programs-- Verification.,Computer science.,Computer software-- Reliability.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.
رده :
QA76
.
9
.
F67
I58
2018eb
56. Grasping in Robotic
پدیدآورنده : / edited by Giuseppe Carbone
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Engineering,Artificial intelligence,Computer simulation,Electronic books
رده :
E-BOOK
57. Hardware/Software Co-Design
پدیدآورنده : edited by Giovanni Micheli, Mariagiovanna Sami.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer engineering.,Computer science.,Computer-aided design.,Software engineering.
58. High Performance Computing in Science and Engineering '99
پدیدآورنده : edited by Egon Krause, Willi Jäger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Chemistry.,Computer science-- Mathematics.,Computer simulation.,Engineering.,Mathematical physics.,Mathematics.,Physics.
59. IMPROVE -- innovative modelling approaches for production systems to raise validatable efficiency :
پدیدآورنده : Oliver Niggemann, Peter Schüller, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Industrial efficiency-- Computer simulation.,Production management.,Production management.
رده :
T58
.
4
60. Industrial and Engineering Applications of Artificial Intelligence and Expert Systems :
پدیدآورنده : edited by Fevzi Belli, Franz Josef Radermacher.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Business.,Computer science.,Management science.
رده :
Q334
.
E358
1992
